Nuprl Definition : Rpre 11,40
Rpre(loc; ds; a; p; P) == inr inr inr inr inr inr inr (inl <loc, ds, a, p, P> )        
latex

Definitionsinr x , inl x , <a, b>
FDL editor aliasesRpre, Rpre

origin